church–rosser theorem
- church–rosser theorem: định lý church–rosser
- định lý: nountheoremTừ điển kinh doanhtheoremđịnh lý CoarseCoarse theoremđịnh lý bù yếucomplementary slackness theoremđịnh lý có tính thay thếsubstitution theoremđịnh lý đối ngẫuduality theoremđịnh lý giá tr
- nhà địa lý: Từ điển kỹ thuậtgeographer
